From: Jasper St. Pierre <jstpierre@mecheye.net>
Date: Wed, 11 Sep 2013 15:47:56 +0000 (-0400)
Subject: workspacesView: Don't tween the upper of our scroll adjustment
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~3125
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=a5a6fd3bc213e5d73976593ba1d3c39a52a4bebd;p=gnome-shell.git

workspacesView: Don't tween the upper of our scroll adjustment

This really doesn't make sense. The new upper should be the new workspace
index as soon as it's available.
---

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 5b999f638..bd2314bb5 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -236,13 +236,7 @@ const WorkspacesView = new Lang.Class({
     },
 
     updateWorkspaces: function(oldNumWorkspaces, newNumWorkspaces) {
-        let active = global.screen.get_active_workspace_index();
-
-        Tweener.addTween(this.scrollAdjustment,
-                         { upper: newNumWorkspaces,
-                           time: WORKSPACE_SWITCH_TIME,
-                           transition: 'easeOutQuad'
-                         });
+        this.scrollAdjustment.upper = newNumWorkspaces;
 
         if (newNumWorkspaces > oldNumWorkspaces) {
             for (let w = oldNumWorkspaces; w < newNumWorkspaces; w++) {